default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5./6. SPIN 1999: Trento, Italy / Toulouse, France
- Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink
:
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings. Lecture Notes in Computer Science 1680, Springer 1999, ISBN 3-540-66499-8
Part I: Selection of Papers Presented at 5th SPIN99
Keynote Address
- John M. Rushby:
Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. 1-11
Theory
- Jaco Geldenhuys, P. J. A. de Villiers:
Runtime Efficient State Compaction in SPIN. 12-21 - Flavio Lerda, Riccardo Sisto:
Distributed-Memory Model Checking with SPIN. 22-39 - Dragan Bosnacki:
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. 40-56 - Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen:
Divide, Abstract, and Model-Check. 57-76
Part II: Selection of Papers Presented at 6th SPIN99
Keynote Address
- Dan Craigen:
Formal Methods Adoption: What's Working, What's Not! 77-91
Methodology
- Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen:
Model Checking for Managers. 92-107 - Theo C. Ruys:
Xspin/Project - Integrated Validation Management for Xspin. 108-119
Applications I
- Gerald Lüttgen, Victor Carreño:
Analyzing Mode Confusion via Model Checking. 120-135 - Carl B. Adekunle, Steve A. Schneider:
Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. 136-151 - Klaus Havelund:
Java PathFinder, A Translator from Java to Promela. 152 - Moataz Kamel, Stefan Leue:
VIP: A Visual Interface for Promela. 153
Specification and Validation
- Marsha Chechik, Dimitrie O. Paun:
Events in Property Patterns. 154-167 - Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth:
Assume-Guarantee Model Checking of Software: A Comparative Case Study. 168-183 - María-del-Mar Gallardo, Pedro Merino:
A Framework for Automatic Construction of Abstract Promela Models. 184-199
Applications II
- Wenhui Zhang:
Model Checking Operator Procedures. 200-215 - Klaus Havelund, Jens U. Skakkebæk:
Applying Model Checking in Java Verification. 216-231
Extensions
- Gerard J. Holzmann:
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. 232-244 - Heikki Tuominen:
Embedding a Dialect of SDL in PROMELA. 245-260 - Claudio Demartini, Radu Iosif, Riccardo Sisto:
dSPIN: A Dynamic Extension of SPIN. 261-276
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
